export type T = number; // `export default type` is not valid.